Kolmogorov complexity and the second incompleteness theorem